SparkTrails: A MapReduce Implementation of HypTrails for Comparing Hypotheses About Human Trails Martin Becker Hauke Mewes

Source URL: gdac.uqam.ca

• Philosophy of science
• Computing
• Design of experiments
• Scientific method
• Science
• Probability and statistics
• Bayesian inference
• Statistical forecasting
• Statistical hypothesis testing
• Apache Spark
• Hypothesis

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez November 16, 2016 The Board will be

Source URL: clark.ohioboe.com

Expected Reachability-Time Games Vojtˇech Forejt1 , Marta Kwiatkowska2 , Gethin Norman3 , and Ashutosh Trivedi2 1 Faculty of Informatics, Masaryk University, Botanick´a 68a, Brno, Czech Republic Oxford University Compu

Source URL: qav.comlab.ox.ac.uk

• Greek letters
• Timed automaton
• Symbol
• Zeta

V O L L M A C H T Der Unterzeichner/die Unterzeichnerin erteilt hiermit

Source URL: www.kgh.de

Lecture 16, Tues March 21: Quantum Computing, Universal Gate Sets Guest Lecture by Tom Wong Having seen lots of quantum protocols, we’re finally ready to tackle the holy grail of the field: a programmable quantum compu

Source URL: www.scottaaronson.com

• Quantum information science
• Theoretical computer science
• Quantum mechanics
• Quantum logic gate
• Quantum circuit
• Toffoli gate
• Qubit
• Quantum computing
• Controlled NOT gate
• Quantum error correction
• Quantum teleportation
• GottesmanKnill theorem

ZEN: Technical notes on a financial engine Nathan Cook July 18th 2017 Summary We describe the Zen Protocol, the basis for a decentralized financial

Source URL: www.zenprotocol.com

• Cryptocurrencies
• Bitcoin
• Blockchains
• Computing
• Alternative currencies
• Money
• Economy
• Cryptography
• SegWit
• Ethereum
• Merkle tree
• Bitcoin Unlimited

c This is a preprint for the paper accepted for publication in CVPR 2017. 2017 IEEE Are Large-Scale 3D Models Really Necessary for Accurate Visual Localization? Torsten Sattler1 Akihiko Torii2 Josef Sivic3,5

Source URL: people.inf.ethz.ch

• Computer vision
• Artificial intelligence
• Vision
• 3D imaging
• Photogrammetry
• Applications of computer vision
• Robot control
• Structure from motion
• Pose
• 3D reconstruction
• Convolutional neural network
• Camera resectioning

The SMT-LIBv2 Language and Tools: A Tutorial David R. Cok GrammaTech, Inc. VersionNovember 23, 2013

Source URL: smtlib.github.io

• Theoretical computer science
• Software engineering
• Constraint programming
• Computing
• Formal methods
• Logic in computer science
• Electronic design automation
• NP-complete problems
• Satisfiability modulo theories
• Solver
• SMT
• Constraint satisfaction problem

A Machine learning Filter for Relation Extraction Kevin Lange Di Cesare, Michel Gagnon Polytechnique Montréal Montreal, Canada

Source URL: gdac.uqam.ca

• Linguistics
• Language
• Natural language processing
• Cognitive science
• Grammar frameworks
• Computational linguistics
• Grammar
• Syntax
• Parsing
• Phrase structure rules
• Statistical classification
• Information extraction

NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System Xi Victoria Lin*, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst Salesforce Research, University of Washington, Unive

Source URL: victorialin.net

• Computing
• Scripting languages
• Xargs
• Semantic parsing
• Filter
• Sed
• GNU parallel
• Find
• Command-line interface
• Redirection
• Parsing
• Pipeline